How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·13h·
Discuss: Hacker News
🎯Interactive Provers
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·4h·
Discuss: DEV
⚙️Proof Engineering
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·16h·
Discuss: Hacker News
🧮Kolmogorov Complexity
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·6h·
Discuss: Hacker News
🧮SMT Solvers
Foremost, Fastest, Shortest: Temporal Graph Realization under Various Path Metrics
arxiv.org·2d
🕸️Network Topology
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·21h·
Discuss: Hacker News
💻Local LLMs
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·16h·
Discuss: Hacker News
⚡Incremental Computation
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·52m·
Discuss: Hacker News
📝Concrete Syntax
Atomic and Saturated Models
functor.network·1d·
Discuss: Hacker News
🔢Denotational Semantics
AI as a research partner: Advancing theoretical computer science with AlphaEvolve
research.google·4d·
Discuss: Hacker News
🧮SMT Solvers
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·1d·
Discuss: Hacker News
🔬Lean
Terence Tao says ChatGPT saved him hours solving a math problem
the-decoder.com·1d
🧮SMT Solvers
Smarter, Not Harder: How AI’s Self-Doubt Unlocks Peak Performance
towardsdatascience.com·2d
🧠Intelligence Compression
EEFSUVA: A New Mathematical Olympiad Benchmark
arxiv.org·2d
⚙️Compression Benchmarking
Benchmark: Spark vs. Ray Data vs. Daft on Multimodal Workloads
daft.ai·1d·
Discuss: Hacker News
🌊Stream Processing
Ask HN: Systems Development Path
news.ycombinator.com·22h·
Discuss: Hacker News
🦀Rust Borrowing
Question: How to transfer information from one custom resource to another while not falling victim to concurrency.
reddit.com·1d·
Discuss: r/kubernetes
📦CBOR Extensions
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·2d
🌳Archive Merkle Trees